BCS Interpreting Message Flow
نویسندگان
چکیده
We give a semantics for Message Flow Graphs (MFGs), which play the role for interprocess communication that Program Dependence Graphs play for control ow in parallel processes. MFGs have been used to analyse parallel code, and are closely related to Message Sequence Charts and Time Sequence Diagrams in telecommunications systems. Our requirements are rstly, to determine unam-biguously exactly what execution traces are speciied by an MFG, and secondly, to use a nite-state interpretation. Our methods function for both asynchronous and synchronous communications. From a set of MFGs, we deene a transition system of global states, and from that a B uchi automaton by considering safety and liveness properties of the system. In order easily to describe liveness properties , we interpret the traces of the transition system as a model of Manna-Pnueli temporal logic. Finally, we describe the expressive power of MFGs by mimicking an arbitrary B uchi automaton by means of a set of MFGs.
منابع مشابه
The Relationship between Selective Attention and Simultaneous Interpreting Performance in Undergraduate Students of Translation
Complexity of simultaneous interpreting has long attracted the interest of researchers and led them to explore different linguistic, psychological, cognitive, social, and neurological factors involved in enabling the human mind to perform such a difficult task. Within the framework of cognitive studies of interpreting, the authors of this study aimed at exploring the relationship between select...
متن کاملA BROADCAST CUBE-BASED Ib'IULTIPROCESSOR ARCHITECTURE FOR SOLVING PARTIAL DIFFERENTIAL EQUATIONS
A large number of mathematical models in engineering and physical sciences employ Partial Differential Equations (PDEs). The sheer number of operations required in numerically integrating PDEs in these applications has motivated the search for faster methods of computing. The conventional uniprocessor computers are often unable to fulfill the performance requirements for these computation inten...
متن کاملA MULTIPROCESSOR ARCHITECTURE FOR SOLVING NONLINEAR PARTIAL DIFFERENTIAL EQUATIONS * C. SIVA RAM MURTHY and V. RAJARAMAN
This paper presents the architecture of a special-purpose multiprocessor system, which we call the Broadcast Cube System (BCS), for solving non-linear Partial Differential Equations (PDEs). The BCS has the following important features: (a) Being based on the conceptually simple bus interconnection scheme it is easily understood. The use of homogeneous Processing Elements (PEs) which can be real...
متن کاملThe Influence of Spiritual Framing on African American Women's Mammography Intentions: A Randomized Trial.
Spiritual framing of breast cancer communication may provide a useful strategy for addressing disparate rates of breast cancer mortality among African American women. The efficacy of a spiritually framed breast cancer screening (BCS) message was compared with that of a traditional BCS message. Specifically, 200 African American women were randomly assigned to review either a spiritually framed ...
متن کاملAssessing the Bacterial Ecology of Organohalide Respiration for the Design of Bioremediation Strategies
Groundwater microbial community samples are traditionally collected using pumping techniques optimized for groundwater chemistry assessment although the impact of groundwater pumping parameters on apparent bacterial community structures (BCS) is not really known. We therefore studied the impact of pumping lift, flow regime and tubing material on BCS, which were analyzed by terminal-restriction ...
متن کامل